An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
نویسندگان
چکیده
منابع مشابه
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
Zonotopes are a convenient abstract domain for the precise analysis of programs with numerical variables. Compared to the domain of convex polyhedra, it is less expensive and may easily handle non-linear assignments. However, the classical join operator of this abstract domain does not always preserve linear invariants, unlike the convex hull. We present a global join operator that preserves so...
متن کاملEfficient Privacy Preserving Protocols for Similarity Join
During the similarity join process, one or more sources may not allow sharing its data with other sources. In this case, a privacy preserving similarity join is required. We showed in our previous work [4] that using long attributes, such as paper abstracts, movie summaries, product descriptions, and user feedbacks, could improve the similarity join accuracy using supervised learning. However, ...
متن کاملAn Existence Theorem for G-structure Preserving Affine Immersions
We prove an existence result for local and global G-structure preserving affine immersions between affine manifolds. Several examples are discussed in the context of Riemannian and semi-Riemannian geometry, including the case of isometric immersions into Lie groups endowed with a left-invariant metric, and the case of isometric immersions into products of space forms.
متن کاملQuadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
Affine forms are a common way to represent convex sets of R using a base of error terms ǫ P r ́1, 1s. Quadratic forms are an extension of affine forms enabling the use of quadratic error terms ǫiǫj . In static analysis, the zonotope domain, a relational abstract domain based on affine forms has been used in a wide set of settings, e.g. setbased simulation for hybrid systems, or floating point an...
متن کاملTransformations and Coupling Relations for Affine Connections
The statistical structure on a manifold M is predicated upon a special kind of coupling between the Riemannian metric g and a torsion-free affine connection ∇ on the TM, such that ∇g is totally symmetric, forming, by definition, a “Codazzi pair” t∇, gu. In this paper, we first investigate various transformations of affine connections, including additive translation (by an arbitrary (1,2)-tensor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2012
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2012.09.007